381. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
226

382. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
267
.
I55
1985

383. Automated reasoning: 33 Base research problems

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming

رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988

384. Automated reasoning: introduction and applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers

رده :
QA
76
.
9
.
A96
A93
1984

385. Automatic correction and improvment of programs

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Artificial intelligence- Data processing,Programming (Electronic computers)

رده :
Q
،
336
،.
W47
،
1987

386. Automatic parallelization :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Codage.,Parallel processing (Electronic computers)

رده :
QA76
.
58
C475
1994

387. Automatic quantum computer programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Quantum computers,Automatic programming (Computer science),Genetic programming (Computer science)

رده :
QA76
.
889
.
S64
2007

388. Automatic quantum computer programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Quantum computers,Automatic programming (Computer science),Genetic programming (Computer science)

رده :
QA76
.
889
.
S64
2007

389. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ
,
223
,.
P76
,
B473
,
2007

390. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Programmable controllers,Programming languages )Electronic computers(,STEP 7 )Computer program language(,SIMATIC S7 )Computer system(

رده :
TJ
.
P76
,
B473
223
2009

391. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ223
.
P76B47
2009

392. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ
,
223
,.
P76B47
,
2005

393. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع : Programmable controllers,Programming languages )Electronic computers(,STEP 7 )Computer program language(,SIMATIC S7 )Computer system(

رده :
TJ
223
.
B42A9
2009

394. Automating with STEP 7 in STL and SCL :programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76
B473

395. Automating with STEP 7 in STL and SCL :programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: (سمنان)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76B47
2009

396. Automating with STEP 7 in STL and SCL: programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76
B473
2009

397. Automating with STEP 7 in STL and SCL: programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Programmble controllers,Programming languages (Electronic computers),STEP 7 (computer program language),SIMATIC S7 (computer system)

رده :
TJ
،
223
،.
P76
,
B473
،
2007

398. Autonomics development

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Electronic data processing, Distributed processing,Domain-specific programming languages,Intelligent agents (Computer software),Distributed operating systems (Computers)

رده :
QA76
.
9
.
D5S686
2010

399. BASIC; a simple language and compiler for 8080 systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، BASIC )Computer program language(,Compiling )Electronic computers(,INTEL 0808 )Computer(- Programming

رده :
QA
76
.
73
.
B28
W37

400. BASIC computer programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، BASIC )Computer program language(,، Electronic digital computers-- Programming

رده :
QA
76
.
73
.
B3
.
B37
1985